Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
971	l A Formal Composition and Interaction Model for a Web Component Platform Claus Pahl 1 School of Computer Applications Add to Reading List Source URL: doras.dcu.ie Language: English - Date: 2011-02-07 11:46:18 World Wide Web Universal Description Discovery and Integration Web Services Description Language Port Service-oriented architecture Web Services Discovery D-subminiature SOAP Subtype polymorphism Web services Computing Web standards
972	APL in a Nutshell[removed]A= Assessed P= Prior L=Learning What is APL? What is APL credit? APL is Assessed Prior Learning credit granted for learning gained through means other than formal coursework. Add to Reading List Source URL: smwc.edu Language: English - Date: 2014-03-24 14:36:17 Array programming languages Computer programming IBM software APL K Computing Software engineering APL programming language family
973	Open data types and open functions Andres L¨ oh and Ralf Hinze July 11, 2006 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 ECL programming language Harvard University Generic programming Expr Open Formal languages Parsing Recursive ascent parser Component Pascal Computing Software Unix
974	Results from MathSciNet: Mathematical Reviews on the Web c Copyright American Mathematical Society 2006 MR1176890 (93j:[removed]68Q45 P˘ Add to Reading List Source URL: eprints.eemcs.utwente.nl Language: English - Date: 2006-07-27 07:24:40 Theoretical computer science Automata theory Applied mathematics Regular language String Model theory Formal languages Mathematics Combinatorics on words
975	Learning to Perceive Two-Dimensional Displays Using Probabilistic Grammars Nan Li, William W. Cohen, and Kenneth R. Koedinger Carnegie Mellon University, Pittsburgh PA 15232, USA, [removed], [removed], koed Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-08-07 11:32:46 Programming language implementation Stochastic context-free grammar Context-free grammar Parsing LL parser Formal grammar Terminal and nonterminal symbols Grammar induction Machine learning Formal languages Science Linguistics
976	From Regular Expressions to Parsing Expression Grammars S´ergio Medeiros1 , Fabio Mascarenhas2 , Roberto Ierusalimschy3 1 Department of Computer Science – UFS – Aracaju – Brazil Add to Reading List Source URL: www.lbd.dcc.ufmg.br Language: English - Date: 2011-11-01 13:15:44 Theoretical computer science Pattern matching Regular expressions Parsing expression grammar Function Regular language Exponentiation Formal languages Mathematics Automata theory
977	Online Graph Planarisation for Synchronous Parsing of Semantic and Syntactic Dependencies Add to Reading List Source URL: ijcai.org Language: English - Date: 2009-06-22 08:18:25 Formal languages Parsing Dependency grammar Treebank Semantics Natural language processing Formal grammar Linguistics Computational linguistics Compiler construction
978	LEX & YACC TUTORIAL by Tom Niemann epaperpress.com Contents Add to Reading List Source URL: www.epaperpress.com Language: English - Date: 2014-12-11 11:29:18 Compiler construction Parser generators Programming language implementation Formal languages Lex Yacc GNU bison Regular expression Code generation Computing Software Compiling tools
979	Journal of Functional Programming http://journals.cambridge.org/JFP Additional services for Journal of Functional Programming: Email alerts: Click here Subscriptions: Click here Commercial reprints: Click Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-03-29 19:34:46 Computer science Logic in computer science Programming language semantics Computability theory Formal methods Operational semantics Lambda calculus Denotational semantics Abstract interpretation Theoretical computer science Models of computation Applied mathematics
980	A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-04-23 10:39:41 Theoretical computer science Programming language theory Formal methods Models of computation Type system Partial equivalence relation Equivalence relation Lambda calculus Dependent type Type theory Data types Mathematics

UPDATE